Recursive go pattern

主関数の再帰処理を、内部関数に任せる

code:hs

where

go ..

再帰処理に必要な追加の引数を持つ

e.g. 累積値, index, 部分結果

(結果ではなく)引数に、更新したい状態を持っている感じ

再帰操作が分離されているため、前後の処理を追加しやすい

具体例

要素が偶数であるリストの要素数をカウントする関数

code:not_go.hs

countEvens [] = 0

countEvens (x:xs)

| even x = 1 + countEvens xs

| otherwise = countEvens xs

結果が返り値となる主関数を再帰している

go pattern

code:go.hs

countEvensGo list = go 0 list

where

go count [] = count

go count (x:xs)

| even x = go (count + 1) xs

| otherwise = go count xs